Logic form - PDFSEARCH.IO - Document Search Engine

Logic form
Results: 545

#	Item
531	PDF Document Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2009-08-06 21:57:45 Temporal logic Linear temporal logic Model checking Static single assignment form Scheduling Abstraction Semaphore Promela Finite-state machine Computing Software engineering Models of computation
532	PDF Document Add to Reading List Source URL: users.utu.fi Language: English - Date: 2006-11-17 19:15:54 Conjunctive grammar Metalogic Context-free grammar Formal grammar Terminal and nonterminal symbols Chomsky normal form Syntactic predicate Boolean grammar Formal languages Grammar Logic
533	PDF Document Add to Reading List Source URL: poppy.snu.ac.kr Language: English Canonical form Programmable logic array Design Structure Electronic design automation Algebraic logic Programmable Array Logic
534	PDF Document Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2009-10-12 16:16:00 NP-complete problems Logic in computer science Boolean algebra Analysis of algorithms Exponential time hypothesis 2-satisfiability Conjunctive normal form Boolean satisfiability problem Clique problem Theoretical computer science Computational complexity theory Applied mathematics
535	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-01-30 14:49:57 Quantification Model theory Metalogic Branching quantifier First-order logic FO Skolem normal form Propositional variable Universal quantification Logic Mathematical logic Predicate logic
536	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2002-04-24 17:27:28 NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science 2-satisfiability Conjunctive normal form PP MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
537	PDF Document Add to Reading List Source URL: www.informatica-didactica.de Language: English - Date: 2010-06-10 05:23:56 Logic Chomsky normal form Context-free grammar Cyk GLR parser Context-free language LR parser Formal grammar Computing Formal languages CYK algorithm Mathematics
538	PDF Document Add to Reading List Source URL: www.cspeirce.com Language: English - Date: 2006-10-07 08:29:08 Philosophical logic Thought Abstraction Semantics Charles Sanders Peirce Interpretation Truth Laws of Form Reason Logic Philosophy Science
539	PDF Document Add to Reading List Source URL: www.nue.riec.tohoku.ac.jp Language: English - Date: 2008-11-04 01:37:22 Logic in computer science Formal languages Lambda calculus Mathematical logic Rewriting Computability theory Combinatory logic Normal form Overlap Theoretical computer science Mathematics Computer science
540	PDF Document Add to Reading List Source URL: lingo.stanford.edu Language: English - Date: 2006-06-06 00:34:17 Philosophy of language Computational semantics Logical Form First-order logic Discourse representation theory Semantics Linguistics Logic

UPDATE